Vienna University of Technology - PDFSEARCH.IO - Document Search Engine

Vienna University of Technology
Results: 346

#	Item
101	4th International Conference on Cartography and GIS June, 18 – 22, 2012, Albena, Bulgaria Prof. Georg Gartner Vienna University of Technology Add to Reading List Source URL: cartography-gis.com Language: English - Date: 2011-10-10 14:22:00
102	Abstraction and Mining of Traces to Explain Concurrency Bugs Mitra Tabaei Befrouei1∗ , Chao Wang2† , and Georg Weissenbacher1? 1 Vienna University of Technology Add to Reading List Source URL: www.georg.weissenbacher.name Language: English - Date: 2014-09-16 15:34:17
103	00 A SAT Approach to Clique-Width MARIJN J. H. HEULE, Department of Computer Sciences, The University of Texas at Austin STEFAN SZEIDER, Institute of Computer Graphics and Algorithms, Vienna University of Technology Cli Add to Reading List Source URL: tocl.acm.org Language: English
104	Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) Johannes Birgmeier1? , Aaron R. Bradley2?? , and Georg Weissenbacher1? 1 Vienna University of Technology Add to Reading List Source URL: www.georg.weissenbacher.name Language: English - Date: 2014-05-16 17:06:38
105	Department of Applied Mathematics and Numerical Analysis University of Technology Vienna Report Nr Add to Reading List Source URL: kofler.dot.at Language: English - Date: 2009-06-19 18:05:03
106	Challenges for Dynamic Analysis of iOS Applications Martin Szydlowski1 , Manuel Egele2 , Christopher Kruegel2 , and Giovanni Vigna2 1 Secure Systems Lab, Vienna University of Technology, Austria Add to Reading List Source URL: iseclab.org Language: English
107	CUDA Libraries Ezio Bartocci Vienna University of Technology Overview of the CUDA libraries Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2015-02-17 14:06:57
108	Advanced SAT Techniques for Abstract Argumentation Johannes P. Wallner, Georg Weissenbacher, and Stefan Woltran Institute of Information Systems, Vienna University of Technology, Favoritenstraße 9-11, A-1040 Vienna, Aus Add to Reading List Source URL: www.georg.weissenbacher.name Language: English - Date: 2013-07-09 10:08:07
109	A Survey on Automated Dynamic Malware Analysis Techniques and Tools MANUEL EGELE Vienna University of Technology THEODOOR SCHOLTE SAP Research, Sophia Antipolis Add to Reading List Source URL: iseclab.org Language: English
110	Analysis & Numerical Treatment of Singular IVPs Part II O. Koch, P. Kofler and Ewa B. Weinm¨uller, Institute for Applied Mathematics and Numerical Analysis, University of Technology, Vienna, Austria. Add to Reading List Source URL: kofler.dot.at Language: English - Date: 2009-10-10 15:18:49

UPDATE